From Object Speciication to Enhanced Logic Programming
نویسنده
چکیده
We combine the area of object-oriented speciication and object-oriented logic programming by indicating the translation of a speciication language into an enhanced logic programming language. The translation shows that in comparison to the programming language the speciication language ooers richer concepts. The background of our work is the development of rapid prototyping systems for object-oriented speciication languages.
منابع مشابه
Conceptual Modelling of Database Applications Using an Extended Er Model
In this paper, we motivate and present a data model for conceptual design of structural and behavioural aspects of databases. We follow an object centered design paradigm in the spirit of semantic data models. The speciication of structural aspects is divided into modelling of object structures and modelling of data types used for describing object properties. The speciication of object structu...
متن کاملReal-time Action Logic and Applications
This paper presents work performed in the EPSRC \Object-oriented Speciication of Reactive and Real-time Systems" project. It aims to extend the Object Calculus of Fiadeiro and Maibaum to cover durative actions, real-time constraints and hybrid systems. We deene a core logic, termed \Real-time action logic" (RAL) which can provide an axiomatic semantics and reasoning framework for concurrent, re...
متن کاملA Linear Logic Speci cation for
Forum 36], a powerful logic formalism based on Higher Order Linear Logic, is particularly suited to specify and reason about complex programs and systems. Ehhf12], a subset of Forum, models many interesting logic programming extensions towards O.O. and concurrent systems and can be viewed as a very high level logic programming speciication language. The paper presents some results in this direc...
متن کاملFormal Speci cation and Veri cation of Object - BasedSystems in a Temporal Logic Setting
This paper presents an approach to speciication, reenement and veriication of object-based systems in a temporal logic framework. The behaviour of an object-based system is viewed as derivable from the behaviours of its constituent component objects. Temporal logic is a formalism well suited for specifying behaviour of concurrent systems; it also provides conceptually simple notions of composit...
متن کاملSystem Description: Twelf | a Meta-logical Framework for Deductive Systems 1 the Twelf System
Twelf is a meta-logical framework for the speciication, implementation , and meta-theory of deductive systems from the theory of programming languages and logics. It relies on the LF type theory and the judgments-as-types methodology for speciication HHP93], a constraint logic programming interpreter for implementation Pfe91], and the meta-logic M2 for reasoning about object languages encoded i...
متن کامل